The Design and Implementation of Multiprocessor Support for an Industrial Operating System Kernel

نویسندگان

  • Simon Kågström
  • Håkan Grahn
  • Lars Lundberg
چکیده

The ongoing transition from uniprocessor to multi-core computers requires support from the operating system kernel. Although many general-purpose multiprocessor operating systems exist, there is a large number of specialized operating systems which require porting in order to work on multiprocessors. In this paper we describe the multiprocessor port of a cluster operating system kernel from a producer of industrial systems. Our initial implementation uses a giant locking scheme that serializes kernel execution. We also employed a method in which CPU-local variables are placed in a special section mapped to per-CPU physical memory pages. The giant lock and CPU-local section allowed us to implement an initial working version with only minor changes to the original code, although the giant lock and kernel-bound applications limit the performance of our multiprocessor port. Finally, we also discuss experiences from the implementation. keywords: Multiprocessor, operating system, kernel, cluster, porting, implementation

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance and Implementation Complexity in Multiprocessor Operating System Kernels

The increasing use of multiprocessor computers require operating system adaptations to take advantage of the computing power. However, porting an operating system kernel to run on a multiprocessor can be very difficult because of a large code base, concurrency issues when dealing with multiple threads of execution, and limited tool support for development. Likewise, it can be difficult to obtai...

متن کامل

Multiprocessing with the Exokernel Operating System

Exokernel is a minimal operating system kernel that safely multiplexes hardware resources, while leaving all system abstractions to applications. An exokernel exhibits better performance and offers more functionality because applications can provide optimized system abstractions, at the user-level, based on their needs. Current design of the exokernel system, however, does not support multiproc...

متن کامل

The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels

Operating-system kernels are critical software components in computer systems. Building secure, safe and reliable computer systems is facilitated by having strong kernel correctness guarantees. Such guarantees can be obtained by formally verifying a kernel down to the implementation level. Kernel verification has attracted much research interest. For example, the L4.verified project has proved ...

متن کامل

Scalability vs. Development Effort for Multiprocessor Operating System Kernels

With multiprocessors becoming increasingly common, many operating systems have to be adapted to work with the multiprocessor systems. In this paper, we present a categorization of porting methods for multiprocessor operating systems. We also perform a case study of the evolution of multiprocessor support for the Linux kernel, both in terms of performance and implementation complexity.

متن کامل

Synthesis: an Eecient Implementation of Fundamental Operating System Services Synthesis: an Eecient Implementation of Fundamental Operating System Services

This dissertation shows that operating systems can provide fundamental services an order of magnitude more eeciently than traditional implementations. It describes the implementation of a new operating system kernel, Synthesis, that achieves this level of performance. The Synthesis kernel combines several new techniques to provide high performance without sacriicing the expressive power or secu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • I. J. Comput. Appl.

دوره 16  شماره 

صفحات  -

تاریخ انتشار 2009